标签: Synthesized Multi-IRs